VDict mobile



evaluation function not found. Suggestions:

eager evaluation
lazy evaluation
strict evaluation
strict
applicative order reduction
partial evaluation
termination analysis
call-by-need
functional programming
call-by-value